Merge changes from CEDET upstream.
authorDavid Engster <dengste@eml.cc>
Thu, 25 Oct 2012 20:16:14 +0000 (22:16 +0200)
committerDavid Engster <dengste@eml.cc>
Thu, 25 Oct 2012 20:16:14 +0000 (22:16 +0200)
commit50ebbf5f9d04e2de72669613fb873aa36290aa88
tree601563c076d2b9bdd3c74d61ceba80b3068f25e3
parent88da6a42b8636cfacb678e9d5d068a01879a40df
parent18aafde97c87a31c098d0904dfb2560674099d41
Merge changes from CEDET upstream.